data Pair x y = Pair x y

first (Pair x y) = x
second (Pair x y) = y

x = Pair 42 "ost"

--:type Pair  x -> y -> Pair x y
--:type first  Pair x y -> x